../../src/RinexNavStream.hpp